Spiking neural P systems: matrix representation and formal verification
نویسندگان
چکیده
Abstract Structural and behavioural properties of models are very important in development complex systems applications. In this paper, we investigate such for some classes SN P systems. First, a class associated to set routing problems investigated through their matrix representation. This allows make certain connections amongst these problems. Secondly, the formally verified natural direct mapping into kP which equipped with adequate formal verification methods tools. Some examples used prove effectiveness approach.
منابع مشابه
Matrix Representation of Spiking Neural P Systems
Spiking neural P systems (SN P systems, for short) are a class of distributed parallel computing devices inspired from the way neurons communicate by means of spikes. In this work, a discrete structure representation of SN P systems with extended rules and without delay is proposed. Specifically, matrices are used to represent SN P systems. In order to represent the computations of SN P systems...
متن کاملSpiking Neural P Systems
This paper is an attempt to incorporate the idea of spiking neurons into the area of membrane computing, and to this aim we introduce a class of neural-like P systems which we call spiking neural P systems (in short, SN P systems). In these devices, the time (when the neurons fire and/or spike) plays an essential role. For instance, the result of a computation is the time between the moments wh...
متن کاملAsynchronous spiking neural P systems
We consider here spiking neural P systems with a non-synchronized (i.e., asynchronous) use of rules: in any step, a neuron can apply or not apply its rules which are enabled by the number of spikes it contains (further spikes can come, thus changing the rules enabled in the next step). Because the time between two firings of the output neuron is now irrelevant, the result of a computation is th...
متن کاملExtended Spiking Neural P Systems
We consider extended variants of spiking neural P systems and show how these extensions of the original model allow for easy proofs of the computational completeness of extended spiking neural P systems and for the characterization of semilinear sets and regular languages by finite extended spiking neural P systems (defined by having only finite checking sets in the rules assigned to the cells)...
متن کاملHomogeneous Spiking Neural P Systems
Spiking neural P systems are a class of distributed parallel computing models inspired from the way the neurons communicate with each other by means of electrical impulses (called “spikes”). In this paper, we consider a restricted variant of spiking neural P systems, called homogeneous spiking neural P systems, where each neuron has the same set of rules. The universality of homogeneous spiking...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Membrane Computing
سال: 2021
ISSN: ['2523-8906', '2523-8914']
DOI: https://doi.org/10.1007/s41965-021-00075-1